TAGs: distributive property